https://mina7.net/ar/provider/4193,logical-methods-in-computer-science-logics